#ifndef __STRING_STRLEN_H__
#define __STRING_STRLEN_H__

/**
 *  strlen()
 *  vstup: ukazatel na zacatek stringu zakonceneho '\0'
 *  vystup: delka stringu (pocet znaku pred nulovym bajtem)
 */
int strlen(const char *str) {
  int i = 0;
    while(*str++) i++;
  return i;
}

#endif
